
#include <stdio.h>

#include "itf_debug.h"

/* Debug functions */
#ifdef DEBUG

FILE *FDEBUG;

void debug_init(char *filename) {    
	FDEBUG = fopen(filename, "w");
}

void debug_end() {
    fclose(FDEBUG);
}

#endif
